* make-dist: Remove comment that no longer applies.
authorGlenn Morris <rgm@gnu.org>
Tue, 12 Oct 2010 07:46:57 +0000 (00:46 -0700)
committerGlenn Morris <rgm@gnu.org>
Tue, 12 Oct 2010 07:46:57 +0000 (00:46 -0700)
commitf94bd49d306c75050c55cf3b26cfaae201771be2
treeb863a25b5514f8ee394c1a2b68dab8285e9b8e7d
parentbc465d2b4a2b04867a835b9934c5d565f7bda054
* make-dist: Remove comment that no longer applies.
make-dist